Merge remote branch 'upstream/master' into bugfixes
authorHans Dedecker <[email protected]>
Thu, 23 Jan 2014 09:44:22 +0000 (10:44 +0100)
committerHans Dedecker <[email protected]>
Thu, 23 Jan 2014 09:44:22 +0000 (10:44 +0100)

Trivial merge